Verifying M5 Internal Threads With An Automated System